" Hans Langmaack" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Compositionality: The Significant Difference, COMPOS'97

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli

Категория: Cs_Computer science, CsLn_Lecture notes

3.82 Mb

#2

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995

Jean-Raymond Abrial, Egon Börger, Hans Langmaack

Категория: Cs_Computer science, CsLn_Lecture notes

4.81 Mb

#3

Elements of Microcomputer Interfacing

Dines Bjorner, C.A.R. Hoare, Hans Langmaack

4.14 Mb

#4

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

6.86 Mb